Algebraic Biology
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Weiterlesen
Algebraic Biology
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Weiterlesen
Algorithmic Aspects in Information and Management
This Book is intended for or- inal algorithmic research on immediate applications and/or fundamental pr- lems pertinent to ...
Weiterlesen
Algorithmic Aspects in Information and Management
This Book is intended for or- inal algorithmic research on immediate applications and/or fundamental pr- lems pertinent to ...
Weiterlesen
Algorithms – ESA 2005
This volume contains the 75 contributed papers and the abstracts of the threeinvited lectures presented at the 13th Annual ...
Weiterlesen
Automated Deduction – CADE-20
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
Weiterlesen
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Weiterlesen
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Weiterlesen
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Weiterlesen
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Weiterlesen
Computer Aided Verification (vol. # 3576)
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...
Weiterlesen
DNA Computing (vol. # 3892)
It is evidence of how well the interdisciplinary nature of the conference has truly matured that the major criterion of quality, ...
Weiterlesen
Experimental and Efficient Algorithms
This proceedings volume contains the accepted papers and invited talks p- sented at the 4th International Workshop of E?cient ...
Weiterlesen
Frontiers in Algorithmics : Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings
This book constitutes the refereed proceedings of the Second International Frontiers of Algorithmics Workshop, FAW 2008, ...
Weiterlesen
Frontiers of Combining Systems
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
Weiterlesen
Hardware and Software, Verification and Testing
The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...
Weiterlesen
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (vol. # 3990)
This book constitutes the refereed proceedings of the Third International Conference on Integration of AI and OR Techniques ...
Weiterlesen
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings
The 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...
Weiterlesen
Logic, Language, Information and Computation
The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...
Weiterlesen
Machines, Computations, and Universality
Constitutes the post-proceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 2004, ...
Weiterlesen
